structure Control : CONTROL = 
struct
  val doShowVersion 	= ref false
  val doShowPass 	= ref false
  val doKeepAssembly 	= ref false
  val doDebugPrint	= ref true
  val doSetFileName     = ref false
  val doShowIdNums	= ref false
  val doToSsa           = ref true
  val doSsaOpt          = ref true
  val doRaOpt           = ref true
  val doSkipReturn      = ref false
  val doShowOptVerbose  = ref false
  val fileName          = ref ""
  
  val doKeepAst         = ref false
  val doKeepIr          = ref false
  val doKeepCfg         = ref false
  val doKeepSsa         = ref false
  val doKeepMachine     = ref false
  val doKeepAsm         = ref false
end
